Stichworte: Augmented functional dependency